#include <stdio.h>

extern char _binary_textdata_txt_start;

int main (int argc, char *argv[])
{
    printf ("%s", &_binary_textdata_txt_start);

    return 0;
}
